How Many Colors Do Maps Need? #shorts