the destruction of the death star, painted by leonardo de vinci