Exactly what I thought. We commonly use that format here, so if there’s no AM/PM, we’d assume such.

And then there are Americans…