Iran withdraws its Houthi ships from the Red Sea and the Gulf of Aden for fear of confronting Trump