US and Israeli jets struck Iranian vessels in the Strait of Hormuz and other targets, hours after President Donald Trump had suggested negotiations with Tehran over an interim deal were progressing.