What is the proper way to score the following situation: Batter hits a hard line drive to the short stop for an out and the runner on second base fails to tag up and gets double up?