Fast facts about USS Theodore Roosevelt, homeported in San Diego