At least 7,000 dead seals wash up on Namibian tourist beach