WSJ: “Median salary for CEOs of America’s largest public companies reached $ 13.7 million last year.”