Invention of the day: Scientists have finally developed an effective shark repellant. The key chemical is based on an extract from dead sharks.