Internet hyperventilation aside, does anyone seriously believe the norks could pull this off in the gulf of freakin’ Mexico? The Gulf of Tonkin, maybe, but the Gulf of Mexico? Really?
It's pretty unprotected, what military activity there is is in the eastern gulf, and that's mainly air.
Cuba is on the gulf to you know. Good place to stage out of.
That said, still seems unlikely. I'd believe the Muzzies before NK.