12. Have foreigners been executed in the past?