WAS vs MIA 07/04/23 Q3 player boxscore