20210717 world.europe: Biden comment hints at boosting travel between US and Europe