“a proposed but unbuilt particle accelerator in the United States, intended for more comprehensive high-energy physics research.”