who were the leaders of the battle of fort ticonderoga