Rio de Janeiro: Mindestens dreizehn Tote nach Amoklauf