Muere Java, el elefante más viejo de Europa