The US treasury market was closed for Columbus Day on Monday, October 12th