He was robbed by someone attending his talk, not mugged on the street at gun point so I don't think that "glad he's okay" is appropriate here, especially since "okay" in this case means that he's in a foreign country without passport, money and medicine.

Such a shame.