A Naval Biographical Dictionary/Pain, Martin