Kế sách đóng cọc nhọn đóng xuống sông để chế ngự thuyền chiến của địch lần đầu tiên được sử dụng trong cuộc kháng chiến nào sau đây của Việt Nam?