Atraca en puerto de Veracruz barco de guerra de EEUU: Semar no informa la causa; buque solo haría operaciones en aguas internacionales y costas estadounidenses, había dicho Sheinbaum