recipe pinto beans mexican

Ingredients 1 pound dried pinto beans, rinsed and sorted 10 cups water 1 medium onion, halved 2 cloves garlic, peeled 1 jalapeño pepper, halved (optional) 2 teaspoons salt (adjust to taste) 2 tablespoons lard or vegetable oil