framgår , att ångarens namn är » John Grafton ».