Do children need a longer time to shed SARS-CoV-2 in stool than adults?