During the three years following its inception, the university bore three different names. When was the name Washington University amended?