A Naval Biographical Dictionary/Derry, John