NBC: Ukraine declares end to battle for Mariupol, ceding control of key port city to Russia