Federal debt tops $13 trillion mark