Jul 1South Korea cargo ship Namu to exit Strait of Hormuz after attack in GulfSynthesized from 3 sources