Maximilian Tomic's international records