US responds to attacks in Red Sea, 13 February 2024