I think it important to notes that it is a Strength (History) check -- that is, it is first and foremost a Strength check, and in this example the PC gets to apply their proficiency bonus because their proficiency in History proved useful. That is a different paradigm that the 3.x skill era, where the skill was the primary thing and ability scores were modifiers to those.
I'd also say that this distinction is the most important part of 5e skills.
The DM calls for a strength check. The players decide if there is an appropriate skill or proficiency or both to help.
This is also a reason, why I'd like passive perception to be its own thing, not dependant on wisdom or perception.
Because it runs contrary to this principle and makes perception way too powerful.