Absolutely, I remember the atmosphere of their open war at the time very well, traded insults included, and I have no doubt that he meant it at the time he suggested it and was not joking in any way (in fairness, nor did he pretend to). Whether people would have been able to make him see sense at the last minute or not had he won is impossible to verify, but this certainly wasn't meant as humour to start with.