SEC names David Woodcock as enforcement chief