Iran dispatched a warship to the Red Sea after the US Navy destroyed three Houthi boats, a move that risks ratcheting up tensions and complicates Washington’s goal of securing a waterway that’s vital...