US says it repatriated 9,000 Americans amid coronavirus