United States naval history a bibliography (Naval Historical Center, 1993)