20200719 world.europe: EU leaders extend summit as they haggle over budget; virus