Hartweg’s Pine, Pinus hartwegii