What did Joshua do to Hazor and its king?

Joshua burned the city and struck the king with his sword. [11:10; 11:11]