Portsmouth pupils sing song celebrating dedication of NHS staff