Pinus mugo var. mughus