US public debt hits record $37T