Un misil antibuque Houthi dañó un petrolero en el Golfo de Adén el viernes, pero no se informó de heridos y un buque de la Armada de EE.UU. estaba prestando asistencia, dijo el ejército estadounidense.