Are investors finally nervous about the US debt ceiling?