Four Color Theorem History