A Naval Biographical Dictionary/Pigot, Richard Henry Holms