"A 53-Year-Old Network Coloring Conjecture Is Disproved"