That is the logic for using city-based timezone names rather than countries. Country borders change but cities tend to be more stable.