For US defense contractors, North Korean hostilities are good for business