Has there ever been a 4-1-5 double play in the Major Leagues before The Yankees achieved one against the Giants on 7/24/2016 ?

ray2016-07-25T16:35:01Z

I guess I can answer my own question here if that is legal. The Bluejays turned the same double play against the Tigers on July 3rd 2015.