Trade Desk CEO overrides investor opposition to option repricing - WSJ