Formula for exporting date in csv as dd mmm yyyy

Summary:

I have a need to present date in a csv extract as dd mmm yyyy. I have the below formula that presents it as dd mm yyyy, any assistance that could be provided to get that final adjustment would be appreciated.

Content (required):

adjustment to the below formula to present date as dd mmm yyyy

Version (include the version you are using, if applicable):

23A

Code Snippet (add any code snippets that support your topic, if applicable):

CASE WHEN "Worker"."Enterprise Seniority Date" is not null THEN CONCAT (CONCAT( CONCAT( CONCAT(SUBSTRING((CAST("Worker"."Enterprise Seniority Date" AS CHAR)) FROM 9 FOR 2), ' ') , SUBSTRING((CAST("Worker"."Enterprise Seniority Date" AS CHAR)) FROM 6 FOR 3)), ' '), SUBSTRING((CAST("Worker"."Enterprise Seniority Date" AS CHAR)) FROM 1 FOR 4)) ELSE '' END