Russia Must Shrink its Army for Any Peace to Hold, Says Top EU Diplomat