The legalization of casinos in Singapore