Would JC Penney’s directors have made such a bad choice of CEO if their pay depended on it?