US Navy destroyer, USS Mason, comes under missile attack off Yemen coast – Pentagon