The Lehigh Canal: A Very Short History