Isla de la Juventud
The only known species is Pinillosia berteroi, native to Cuba (including Isla de la Juventud) and Hispaniola.