Indonesia’s Independence Day marked in Hanoi