def iso_string_to_sql_date_mysql(x: str) -> str:
    """
    Provides MySQL SQL to convert an ISO-8601-format string (with punctuation)
    to a ``DATE``, just by taking the date fields (without any timezone
    conversion). The argument ``x`` is the SQL expression to be converted (such
    as a column name).
    """
    return f"STR_TO_DATE(LEFT({x}, 10), '%Y-%m-%d')"