  We show that the tropicalization of an irreducible variety over a complete or
algebraically closed valued field is connected through codimension 1, giving an
affirmative answer in all characteristics to a question posed by Einsiedler,
Lind, and Thomas in 2003.
