pansarkladt krigsskepp " Tornado " , tillhörande republiken Chili.