Although previously, I could not get the screen mirroring to work using the Samsung settings, I did download the Google Home app which provided a working mirroring facility.