My ISP did see the traffic. But I figured out the problem. I unwittingly allowed myself to be used to carry out a DDoS attack. Months ago when I was setting up HAproxy, I meant to add a firewall rule to pass traffic on port 443. Somehow I set it to pass any port. :-[ I need to be more careful.