Gideon’s Call and Rout of Midian According to Josephus