Thiệt hại của Việt Nam trong Chiến tranh Đông Dương