Dead humpback whale washes ashore on popular Rio beach