Hi Gustavo,
The MK4 was first made in 1945 until January 1946,so probably never say service in WW2. It was again produced in the early 1950's, so more than likely saw service in the Korean war.
...