The American Revolutionary War: Fort Ticonderoga abandoned by the Americans