Now we are six: G7 leaders try to salvage their summit after Trump’s early exit