‘Devastating’ dolphin loss in Florida red tide disaster