The American Revolutionary War: Fort Ticonderoga captured