General: what is the traditional hour for a bullfight to begin