Часовой пояс java: Сан-Антонио, Техас

Привет, я хочу установить часовой пояс для Сан-Антонио, Техас. Подскажите, пожалуйста, как мне установить то же самое в моем Java-коде.

Я хочу, чтобы он был в формате, похожем на Америку / Нью-Йорк

В настоящее время я использую этот код

TimeZone.getTimeZone("America/Denver");

Но "Америка / Денвер" не кажется подходящим часовым поясом для Сан-Антонио, Техас