There is a hotel & casino called the Diamond Palace Hotel & Casino on Condado in San Juan. Apparently Condado is called "el Condado" in Puerto Rico. You might want to follow that lead - or maybe someone's been there and can confirm or reject this theory.