Parse uncommon date strings in Ballerina

Question

I need to parse a simple date string like Jan 1, 2000 into the Ballerina record time:Civil. How do I do that effectively in Ballerina?