History of the lexington opera house