Covid-19-induced pulmonary hypertension in children, and the use of phosphodiesterase-5 inhibitors