20150707 world.europe: Eurozone leaders to hold emergency summit on Greece