Digital Gateway, a massive and controversial data center campus once planned for Prince William County, is officially dead.