Watkins has defined a family of
graphs which he calls generalized Petersen graphs. He conjectures that all but the
original Petersen graph have a Tait coloring, and proves the conjecture for a large
number of these graphs. In this paper it is shown that the conjecture is indeed
true.