Jeffrey Pine, Pinus jeffreyi