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