Dec. 8, 2014
5:14 p.m.
On 8 December 2014 at 11:10, Paul Eggert <eggert@cs.ucla.edu> wrote:
A common abbreviation is "FCP" (sort of like "NYC" for "New York City"), which suggests the name "America/FCP_Yucatan"
Except, if I understood Gwillim correctly, this FCP (the municipio) is within Quintana Roo state, not Yucatán state. That suggests something like "America/FCPQuintanaRoo" or "America/FCP_QRoo". -- Tim Parenti