NASA Sets July 13 For Discovery Launch