Home Entertain Us Lucia di Lammermoor: A great end to Virginia Opera’s 2017-2018 season