This is something that we have known is coming for a while now, but it is now official as the Astros have signed highly touted international prospect, Pedro Leon.