SOLUTION FOUND. Per this post Unable to Import Wordpress Site to Local 5.10.1 - ERROR 1146 (42S02) at line 1: Table 'local.wp_options' doesn't exist
Use a text editor to comment out the two lines in the SQL file like this (add the two hypnens)
– CREATE DATABASE …
– USE `…