the hero of ticonderoga or ethan allen and his green mountain boys