John King went down with the ship in 1717.