“Execute the vengeance of the sons of Israel against the Midianites—afterward you are gathered to your people.”