Gulf shrimp simmered in a very spicy sauce with onions and mushrooms