El Carmen District is the first distrito of San José Canton in Costa Rica, and one of the four administrative units that form San José city proper. This district is not heavily populated although it is a busy downtown area in daytime (...) (from Wikipedia)