A Naval Biographical Dictionary/Budgen, Richard