Порошенко: На Донбассе находится более 9 тыс. российских военных