An event every year that begins at 5:00 pm on day 12 of July, repeating indefinitely
An event every year that begins at 5:00 pm on day 11 of July, repeating indefinitely
An event every year that begins at 5:00 pm on day 17 of July, repeating indefinitely
An event every year that begins at 5:00 pm on day 15 of July, repeating until July 15, 2028