A Naval Biographical Dictionary/Woodman, William Ingle