It clearly wasn't random, in fact, they said as much. It's a cost-cutting effort, and US salaries are generally much higher than non-US salaries.

If you want to know the odds, you'd have to know their criteria. You can't assume that it was random, because it definitely wasn't. (Though, I've seen the aftermath of a random layoff, I'd take criteria'd layoff every day, even if I'm the one with the pink slip.)