What would the government of curacao invest in from tourism money?