A Naval Biographical Dictionary/Jennings, Edward