Yes, that’s the one in Johnny J’s original post. Very popular song: have heard a lot of other people sing it.