How Many U.S. Military Satellites Are There?