A Naval Biographical Dictionary/Warton, Joseph