Did John Boorman or Alexander Butler direct more films?