Ds was brushing his teeth this morning and coughed up this . He's otherwise healthy and happy. Should I be worried?