Red jalapeno peppers are just more ripe jalapenos - they're the same type of pepper, though they can be harder to find in most US markets. You can use red or green jalapenos in this recipe, but do note that red jalapenos tend to be spicier.