“According to President Trump, Iran has attacked a South Korean cargo ship.”