Football world mourns Tenerife striker De Miguel