The battle at Mt Gilboa