Joseph Merrick, better known as The Elephant Man has been erroneusly refered to as "John Merrick" due to the writings of dr. Frederick Treves who was by many accounts a good friend in his last years of life, were the names "John" and "Joseph" in any way interchangable at the time?