US strikes have stopped Iran proxies in Iraq, Syria but not Houthi attacks on ships