The Hawaii-based destroyer Michael Murphy will join them later.” We also find that the USS Theodore Roosevelt (CVN71) is currently stowed up in a San Diego port and is still undergoing extensive repairs.