Разница между часовыми поясами Америка / Лос-Анджелес и США / Тихий океан и PST8PDT?

Мне нужно преобразовать группу дат в базе данных MySQL из тихоокеанского времени (America / Los_Angeles) в UTC. Я нашел отличный SO-ответ о том, как это сделать.

Во время тестов и подготовки я обнаружил, что получаю одно и то же преобразование времени при использовании любого из следующих названий часовых поясов:

• America / Los_Angeles
• US / Pacific
• PST8PDT

] Итак, мои вопросы следующие:

• Все ли это псевдонимы одного и того же? Или есть ли между ними реальные различия в какой-то момент времени?
• Если я хочу предоставить пользователям на веб-сайте список часовых поясов, было бы лучше дать им выбор из группы Америка имена или группа имен US ?