The taxonomy of Pinus flexilis and P. strobiformis.