In what year did Richard Nixon resign as President of the US?