Four Thai nationals were killed