Original: Within the municipality there is one municipal district ( distrito municipal ) : San Luis . .
Simplified: The municipal district is San Luis .