canal de panama, Miraflores