Thanks for the hints.
I have sorted the problem by switching on the SIM PIN for the second SIM so that I have to use a PIN for each card when I restart the phone.
The Vodafone SIM had its original PIN. The default PIN is 0000 for Vodafone SIMs. I changed the PIN and switched on SIM card lock.
All is now well.
Nick