Pinus mugo ′Benjamin′