Individual Turkey Shepherds Pie

Name: Individual Turkey Shepherd's Pie
Ingredients: 1 tablespoon olive oil; 2 cloves garlic, minced; 1 carrot, finely diced; 1 small onion, chopped; 8 ounces ground turkey; 1/2 teaspoon finely chopped fresh thyme leaves; 2 tablespoons ketchup; 1 cup low-sodium chicken broth; 2 teaspoons flour; 1/2 cup frozen peas, thawed; Kosher salt and freshly ground black pepper; 1 pound red-skinned potatoes, cubed; 1/2 cup warm 2-percent milk; 1/3 cup grated sharp Cheddar; 1 scallion, chopped; Nonstick cooking spray