Michoacan Pine, Pinus devoniana