A Naval Biographical Dictionary/Welch, Robert Gregory