20150806 world.europe: Free diving legend goes missing off Spanish coast