A Naval Biographical Dictionary/Penruddock, George