david cox execution