How deep is Lake Erie? How was it named? Facts about Ohio's Great Lake and its cousins