Ireland’s Harrington retains Olympic boxing title, then retires