Ventura County coastal town divided on name: ‘Port’ or ‘Beach’? Voters will now decide