De Gouden Leeuw is a casino.