Mammals in Portugal: A data set of terrestrial, volant, and marine mammal occurrences in Portugal