when the morning stars sang in chorus, and all the sons of God shouted for joy? 