English translation of Bình Ngô Đại Cáo