“Under NATO's nuclear sharing arrangement, the United States provides nuclear weapons that, upon agreement, would be transferred to the Supreme Allied Commander Europe (SACEUR) for delivery by various NATO member nations.”