How an Amateur Built the World’s Biggest Dome