Parse compact date strings like 20231220T090000 into Date objects and format them as 20 Dec 2023, 9 using en_US_POSIX locales.