About 70 Thais work on a separate, offshore gas-drilling platform.
Thirty-five hostages and 15 of their captors were killed when Algerian security forces stormed the complex, according to Al-Jazeera television and Mauritania’s private ANI news agency. The militants had been trying to move the hostages in vehicles when they came under attack.