Once in Royal David's City — song