More than 3,000 US sailors and marines aboard two warships have reached the Red Sea, US Navy says.