title: Formatting month name abbreviation (Jan/Feb/...) within datetime
body: <p>I am trying to encode datetime format for strings that are of the form: '06JAN2018' or '31DEC2017'.</p>
  
  <p>I think this is format = '%d[xxxx]%Y' but I don't know how to encode the month portion of it.</p>
  
  <p>Is there a list anywhere of every type of encoding possible for this?</p>