leon is part of mexico