Foreign tourists among 9 killed in flooding on Spain’s Mallorca island