A Naval Biographical Dictionary/Hay, John Baker Porter