Pete Alonso impressed by Julio Rodriguez’s record-breaking performance in 2023 Home Run Derby