tiradentes day notice