Pigou meets Mirrlees: On the irrelevance of tax distortions for the second-best Pigouvian tax