What if Herod had killed Baby Jesus?