Iran dispatches warship to Red Sea after U.S. sinks Houthi small boats