who was the spartan king who died at the battle of thermopylae?