“The U.S. has approximately 44 ground-based interceptors, and its defense doctrine requires using two interceptors to target each incoming ICBM.”