Lebih dari 9.000 pekerja migran Filipina direpatriasi