20150720 world.uk: UK to join air strikes on jihadis