Mexican president to seek explanation from Google over Gulf of Mexico name change