Giovanni Antonio Canal, known as Canaletto