When Are ICMP Redirects Sent?