Comment on “An early Miocene extinction in pelagic sharks”