Shrimp stir-fried with garlic and red pepper flakes