Lime juice, fresh basil, and fresh garlic are used as a simple marinade for these thick, grilled pork chops.