Deuteronomy 32:42-44

42 My enemies will be killed and taken as prisoners. My arrows will be covered with their blood. My sword will cut off the heads of their soldiers.’

43 “The whole world should be happy for God’s people! God punishes people who kill his servants. He gives his enemies the punishment they deserve. And he makes his land and people pure.”

44 Moses and Joshua son of Nun came and sang all the words of this song for the Israelites to hear.