The storming of Stony Point on the Hudson midnight, July 15, 1779 : its importance in the light of unpublished documents