NBC: West Coast flights paused at roughly same time as North Korea missile launch