Records de Lorcan Murphy en compétitions internationales