On Nov 6 the US Navy carrier USS Theodore Roosevelt docked at Changi Naval Base
in Singapore. Refinitiv said this is the ship’s final stop before deploying to
the Middle East; the Roosevelt left San Diego on Sept. 27 and is expected to
join the carriers Washington and Bush on the Middle East deployment.