Walhai, Blauhai und andere Haiarten