Churchill Bridging Tank In Korea

Since there is no AFV Club Crocodile tank, there is still the bridging tank that I assume was sent to Korea. Would like to know how they were marked though.