The warmest May on record, or is it the mildest?