We could probably terraform Mars if we crashed Europa into Mars.
Europa is the size of our Moon. Colliding it with Mars would be similar to the collision that formed our Moon.
Not sure if Europa's water would be flung into space, make atmosphere, or make a boiling ocean.