FBI: North Korean hackers targeted the US Air Force, NASA, and defense companies