A small contribution to California timezone history