A Naval Biographical Dictionary/Robinson, Richard