A Naval Biographical Dictionary/Welch, David