This is the first time that officials have said how many foreign soldiers were deployed to help thwart the mutiny.