. . "Five of the workers were Indonesian and four were Filipino, while others came from Africa, the Middle East and other parts of Asia." . . .