re: #80 EPR-radar

The day Trump dies it will be party time — and I never party.

Hell, it should be a national holiday.

Instead of flags at half mast, the masts should be raised twice as high.