Heroes day and the Indonesian revolution