Document TIMESTAMP WITH TIME ZONE