When did the operation happen? Under Obama or under Trump?
Article says 2015, so that would be the Kenyan from Indonesia.