A Naval Biographical Dictionary/Willson, John