Fuso horário de Salvador

Olá,

Tava vendo aqui os Fusos Horários suportados no PHP, na lista da América: http://php.net/manual/pt_BR/timezones.america.php

Percebi que é usado o nome de cidades para identificar o fuso. Porém, vi que existe o seguinte fuso:

>

Citar

America_Bahia

Ele é de alguma cidade na América chamada de Bahia ou o PHP fugiu mesmo do padrão e adotou o nome de Bahia em vez de Salvador?