It would have been a problem on disembarking in Mexico or after getting off the plane back in the US. For the Mexican side, I was thinking that there is probably some international agreement concerning a registered commercial passenger vessel with a declared emergency. Especially when the nearest port with the capacity to handle a ship that size is also a tourist destination.