Trump declares February 9 as 'Gulf of America Day' after renaming Gulf of Mexico
Vessel reports missile incident off Yemen's western coast