A Naval Biographical Dictionary/Thomas, Frederick Jennings