who was the spartan king at the battle of thermopylae?