I hope those reading this have a happy and peaceful Columbus Day today.